Anna Ingólfsdóttir: tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (12)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 1.86 MB

0 / 5.0

english, 2007

2

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 4.32 MB

0 / 0

english, 2013

3

Transactions on Computational Systems Biology VII

Transactions on Computational Systems Biology VII

Springer-Verlag Berlin Heidelberg

Muffy Calder, Stephen Gilmore, Jane Hillston (auth.), Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 2.03 MB

0 / 0

english, 2006

4

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 1.97 MB

0 / 0

english, 2007

5

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Ran Canetti (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 7.40 MB

0 / 0

english, 2008

6

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 1.92 MB

0 / 0

english, 2007

7

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Ran Canetti (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 11.50 MB

0 / 0

english, 2008

8

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Năm:

2017

Ngôn ngữ:

english

File:

PDF, 22.98 MB

0 / 0

english, 2017

9

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Bruno Courcelle (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 8.39 MB

0 / 0

english, 2008

10

Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Taolue Chen, Wan Fokkink, Sumit Nain (auth.), Luca Aceto, Anna Ingólfsdóttir (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 4.60 MB

0 / 5.0

english, 2006

11

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Bruno Courcelle (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 26.54 MB

0 / 0

english, 2008

12

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Bruno Courcelle (auth.), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 13.63 MB

0 / 0

english, 2008